21. Computational intelligence and mathematics for tackling complex problems /
پدیدآورنده: László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248
22. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
23. [Computer aided systems theory] [revised selected papers]
پدیدآورنده: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
24. Computer applications in applied polymer science :
پدیدآورنده: Theodore Provder, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coatings-- Data processing, Congresses.,Plastics-- Data processing, Congresses.
رده :
TP1122
.
C65
1982
25. Computer applications in chemical engineering : proceedings of the 12th European Symposium, CACE '79, Montreux, Switzerland, 8- 11 April 1979
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Chemical engineering- Data processing- Congresses
26. Computer applications in the minerals industries
پدیدآورنده: / edited by Heping Xie, Yuehan Wang and Yaodong Jiang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mining engineering- Automation- Congresses,Mineral industries- Data processing- Congresess,Mines and mineral resources- Computer programs-Congresses
رده :
TN276
.
C6555
2001
27. Computer-assisted organic synthesis :
پدیدآورنده: W. Todd Wipke, editor, W. Jeffrey Howe, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Organic compounds-- Synthesis-- Data processing, Congresses.
رده :
QD262
.
C54
28. Computer performance engineering :
پدیدآورنده: Nigel Thomas (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
29. Computer supported education :
پدیدآورنده: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
30. Computers in engine technology: proceedings of the Institution of Mechanical Engineers, 24-26 March 1987, Robinson College, University of Cambridge
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Engines-- Computer programs,Congresses ، Electronic data processing-- Engines
رده :
TJ
250
.
I57
1987
31. Conceptual modeling--ER 2011 :
پدیدآورنده: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
32. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
33. DNA computing and molecular programming :
پدیدآورنده: David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
34. Declarative programming and knowledge management :
پدیدآورنده: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
35. E-commerce and web technologies : 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004 : proceedings
پدیدآورنده: Kurt Bauknecht, Martin Bichler, Birgit Proell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic commerce,Computer programs -- Congresses ، Electronic commerce,Law and legislation -- Congresses ، Electronic commerce,Congresses ، Copyright -- Computer files,Congresses ، Software engineering,Congresses ، Internet,Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
3182
36. Electronic commerce and web technologies : first international conference, EC-Web 2000, London, UK, September 2000 : proceedings
پدیدآورنده: Kurt Bauknecht, Sanjay Kumar Madria, Gunther Pernul, eds.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic commerce,Computer programs -- Congresses ، Electronic commerce,Law and legislation -- Congresses ، Electronic commerce,Congresses ، Copyright -- Computer files,Congresses ، Software engineering,Congresses ، Internet,Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
1875
37. Engenharia de Software: fundamentos, metodos e padroes. ی‌سیلگنا ه‌ب ن‌اونع : engineering software: fundamentals, methods and standards
پدیدآورنده:
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Computer-aided engineering- Congresses,، Engineering- Data processing- Congresses,، Engineering- Computer programs- Congresses
رده :
TA
345
.
E548
2000
38. Engineering Databases
پدیدآورنده: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
رده :
TA
345
.
P74
1984
39. Engineering Databases
پدیدآورنده: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
رده :
TA
345
.
P74
1984
